منابع مشابه
Computer security in the future
Until recently, computer security was an obscure discipline that seemed to have little relevance to everyday life. With the rapid growth of the Internet, e-commerce, and the widespread use of computers, computer security touches almost all aspects of daily life and all parts of society. Even those who do not use computers have information about them stored on computers. This paper reviews some ...
متن کاملRefining the shallow slip deficit
Xiaohua Xu,1 Xiaopeng Tong,2 David T. Sandwell,1 Christopher W.D. Milliner,3 James F. Dolan,3 James Hollingsworth,4 Sebastien Leprince5 and Francois Ayoub5 1Institute of Geophysics and Planetary Physics, Scripps Institution of Oceanography, La Jolla, CA 92037, USA. E-mail: [email protected] 2Department of Earth and Space Sciences, University of Washington, Seattle, WA 98115, USA 3Department of ...
متن کاملRefining the Stern Diatomic Sequence
We refine the celebrated Stern Diatomic Sequence {b(n)}n≥0, in which b(n) is the number of partitions of n into powers of 2 for which each part has multiplicity 1 or 2, by studying the sequence {b(n, k)}n,k≥0, in which b(n, k) counts the partitions of n into powers of 2 in which exactly k parts have multiplicity 2, the remaining parts being of multiplicity 1. We find closed formulas for the b(n...
متن کاملRefining Objects
Inspired by Cardelli’s pioneering work, many type disciplines for object-oriented programming are based on enrichments of structural type theories with constructs such as subtyping and bounded polymorphism. A principal benefit of such a formulation is that the absence of “message not understood” errors is an immediate corollary of the type safety theorem. A principal drawback is that the result...
متن کاملSpirulina; the food for future
Spirulina is a cyanobacterial photosynthesis that is grown commercially in many tropical and subtropical countries and temperate regions for human and animal nutrition. This commercial product is used as a rich source of protein and vitamins in the pharmaceutical, food and chemical industries due to its valuable nutrients. In the last two decades, the production of microalgae for food has incre...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature Climate Change
سال: 2009
ISSN: 1758-678X,1758-6798
DOI: 10.1038/climate.2009.111